compose(alg, return) == id(compose, alg, join) == compose(alg, fmap(alg));
